An Appreciation of the Work of Reinhard Wilhelm
نویسندگان
چکیده
Reinhard Wilhelm’s career in Computer Science spans more than a third of a century. During this time, he has made numerous research contributions in the areas of programming languages, compilers and compiler generators, static program analysis, program transformation, algorithm animation, and real-time systems; co-founded a company to transfer some of these ideas to industry; held the Chair for Programming Languages and Compiler Construction at Saarland University; and served since its inception as the Scientific Director of the International Conference and Research Center for Computer Science at Schloß Dagstuhl.
منابع مشابه
The Relationship between Appreciation, Sense of Humor and Social Support with Marital Satisfaction in Nurses
Background & objectives: Marital relationship is one of the significant dimensions of life. Having marital satisfaction plays an important role in professional status of nurses. Appreciation, sense of humor and social support are factors that can effect on marital relationship. Therefore, the aim of this study was to determine the relationships between appreciation, sense of humor and social su...
متن کاملFrom Academic to Journalistic Texts: A Qualitative Analysis of the Evaluative Language of Science
This study examined academic articles and journalistic reports in 5 disciplinary areas to explore how similar contents might attitudinally be realized in two different genres. To this end, 25 research articles and 210 news reports were carefully selected and underwent detailed discourse semantic and grammatical analyses with the purpose of identifying the evaluative linguistic patterns....
متن کاملStatic Program Analysis via 3-Valued Logic
This paper reviews the principles behind the paradigm of “abstract interpretation via -valued logic,” discusses recent work to extend the approach, and summarizes ongoing research aimed at overcoming remaining limitations on the ability to create programanalysis algorithms fully automatically.
متن کامل